λβ(α`β(9@~∩@βα?A∧λ↓wyhα@
∧(∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈xβ)U(β∨}(_ ελβ&Wpα@∩ ∧0∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x↓ix_↓←␈x
@αh∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x↓&:h↓@πα`Lx␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x∀⊂8x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈xπp␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x∂(|π}_␈px@∂␈p?`?x}␈`∂␈}∨|?␈x@?xx␈␈@8␈?␈␈@≡␈@∂p_←@βpβ␈<πx@<␈8↓↑π7@∞g↓`↓H`↓@1`0c@088`p0≤β@∞_βp∞␈␈␈`_␈␈␈␈xp∨␈␈x␈␈`␈x␈␈␈␈?␈␈␈x␈`␈␈x␈␈␈βx␈␈␈␈x@␈␈␈x␈}↓␈x␈␈␈`>x↓p<8∞∞λp ∨␈@8␈`βx@∨xπ␈`∨␈␈@≡πx␈ppπ␈␈g?}_sβx|βL↓␈`π ∂}βpx}π@␈p_`β␈@∂_␈@<∨|∨␈p|␈pβ8π␈@β↑?x@}␈|p∨␈␈px␈␈xp∂ax␈␈↓xp?␈xπ␈`␈xx≤∂␈∂p∂x|␈x␈pβ␈x␈␈π␈x␈␈p∂␈x␈␈}∨␈x␈␈␈`∨␈x␈␈␈x?␈x␈␈␈␈?␈x␈␈␈␈`?␈x␈␈␈␈x?␈x␈␈␈␈x`?␈x␈␈␈␈xx?␈x␈␈␈␈x}?␈xp↓␈x␈@∨␈`βx␈`∨␈_␈x∨|∨}∂xβ␈∂p␈`∧∂p∂pππpβ|β`πp}pβp∨≤↓xπ`ε↓xβpβ@|x↓`<<8≡∞≤≡π@∂∂β`πG@pβ3@8↓]`_@gpλ`3xp8x@8≤8`≤∞λp∞∂xππ@≤β@π`∞↓`βpπ@pβx↓`x↓xp<↓x@≤≤↓x`∞∞↓xpπ@∂xx↓`π@xxxπ`x|≤β`x}∂βp8␈β`βx8␈@↓xβx8␈@>β|8␈`∨@π}_␈pπxπ}_␈p↓xp∂␈_␈xx}?␈λ␈|_␈p↓␈␈λ␈|␈␈`∨␈␈@␈}?␈␈␈x␈␈␈@␈␈∂␈␈␈x␈␈␈@?␈β␈␈␈x␈␈␈@?␈@␈␈␈x␈␈␈@∨␈@∨␈␈x␈␈␈@∂␈`π␈␈x␈␈␈@∂␈p↓␈␈x␈␈␈π␈p∨␈x␈␈␈β␈xπ␈x␈␈}↓␈x␈x␈␈|↓␈|∂x␈␈x␈}x␈␈`?}?}∨␈∂␈@π␈@β␈`↓␈p␈p?x∨|∂}β␈↓␈@␈`?x∂x@πxp↓xxx}_␈@␈p∨|β␈?`0β8εpλ\β8εp≥`;`↓p|⎇␈@∂{␈␈x␈␈␈␈x␈␈w␈x␈␈␈␈x␈␈␈ox␈␈␈␈x␈␈␈␈X␈␈␈␈x␈␈␈␈xw␈␈␈x␈␈␈␈x␈o␈␈x␈␈␈␈x␈␈←␈x␈␈␈␈x␈␈␈?x␈␈␈␈x␈␈␈}x␈␈␈␈x␈␈␈␈x←␈␈␈p∨}∂?8∞|p
pβ`≠`π@0p_p
`∂`≠@?@7↓␈nπ}↓@∨x`0x␈@`?␈β`↓␈␈π@π␈}∂∨␈x`8`␈x␈@∂@βx␈␈@?λ␈␈?@↓|π␈|?@πx∨␈px|?p␈␈@∨␈πx|β␈x`∨␈␈x␈p∂x␈?␈x␈␈`8␈|?x␈␈␈?␈p8␈␈␈|↓␈␈@∂␈␈␈xπ␈}∂␈␈x|∨␈x∂␈x␈p␈x|∂x␈␈@πx␈pλ␈␈}_␈␈␈␈p∂␈|?␈?␈p∨x␈␈@↓␈x`βx␈␈|↓␈pβ␈@π}∂x_|πp∂@∨<x≤8p↓`β@∂↓x`λ␈∂|␈pβ␈<∨@βxx∂pπ@?xx_@x␈␈@∞↓o␈|pβ@␈x|β@ε␈␈lπ␈p0∨␈@␈@`0βxc↓@λ␈επ|8_∨q``␈G@pβ}λ`β@∂xπ@≡8|∨↓p∨p>∂@?A}}↓}βx`∂pπxλ␈`↓xx∂pβ␈px␈@_x∂␈␈x␈}πx∨␈x␈␈pπ`?x␈␈␈x␈␈␈x∨␈␈␈@∨␈␈x∨␈xx∨x␈λ␈@